$\forall$${\it the\_es}$:ES, ${\it e'}$, $e$:E. ($e$ $\in$ before(${\it e'}$)) $\Leftrightarrow$ ($e$ $<$loc ${\it e'}$)